Pluridisciplinarité et créativitéDe la conception de l’exposition Ni méchant Ni gentil

La place de la formation dans la conception et la conduite de l’aide individualisée

En tant qu’activité professionnelle, la conception de l’aide individualisée doit être considérée comme une résolution de problème. Dans cette perspective, la formation, qu’elle soit initiale ou continue, devrait apporter des ressources adaptées : moyens de diagnostic pratique et théorique, notamment dans le domaine de la psychologie, flexibilité des représentations, capitalisation des solutions...

Usages et conception des TIC : Proposition d'un modèle d'aide à la représentation de problème de conception

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Description de Hyalomma dromedarii (Koch 1844) Morphologie de la larve et de la nymphe

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...

De la conception physique aux outils d'administration et de tuning des entrepôts de données

The main goal of this thesis is to propose a set of approaches to optimize performance ofdata warehouses and assist the data warehouse administrator (DWA) to well perform this op-timization. Our approaches use three optimization techniques : primary and derived horizontalpartitioning and bitmap join indexes (BJI). First, we propose a partitioning approach, whichtakes into ac...